timed相关论文
目的 观察高渗盐溶液(HTS)对肠缺血/再灌注(I/R)损伤兔肠屏障功能保护作用的时相性差异.方法 按随机数字表法将72只新西兰白兔分为......
为了描述电力系统恢复过程，提出了基于UML的电力系统恢复过程建模方法，使用类图表示参与电力系统恢复的主要元件的静态特性，使用状态......
ＡＮｅｗＭｕｌｔｉｍｅｄｉａＳｙｎｃｈｒｏｎｉｚａｔｉｏｎＭｏｄｅｌＳｏｎｇＪｕｎ（宋军）ＧｕＧｕａｎｑｕｎ（顾冠群）（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＥｎｇｉｎｅｅｒｉｎｇ，ＳｏｕｔｈｅａｓｔＵｎｉｖｅｒｓｉｔｙ，Ｎａ.........
铝挤压机系统是一个多液压源、多液压缸的系统,难以使用传统的方法进行数字化建模.为了有效地开展AEM的液压系统设计与性能分析,本......
为解决地下矿山有轨运输调度问题,将Petri网理论引入矿山井下有轨运输调度优化中,结合蚁群算法思想,建立基于蚁群算法的赋时Petri......
着色赋时的面向对象Petri网（Colored Timed Object-Oriented PetriNet，CTOPN）是在面向对象Petri网的基础上，添加了着色令牌和输入输出......
对外层空间大气的研究对人类冲出地球走向太空具有非常重要的意义。MLTI区域是地球环境和外层空间的一个通道,容易受到来自太阳和......
Petri网是一种应用非常广泛的建模工具。首先给出了基本Petri网的概念，在此基础上对多种Petri网进行了广泛的研究，包括时间因素Petri......
Coloured Petri 网(简称 CP-nets 或CPN )是一种用于设计、详细说明、仿真和检验的面向图形的语言。它特别适合于那些通讯、同步、......
介绍了一种将TCSP语言用于硬件高层次系统设计的方法。该方法以HDL语言作为系统功能实现的核心，以TCSP语言作为系统高层次描述的外......
高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验......
为定量分析临近空间大气环境参数的准确性,利用10年以上的TIMED和ENVISAT卫星探测数据,以及根据理想气体状态方程和地转风公式计算......
